correctness of calculations

См. также в других словарях:

• History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• Kepler conjecture — In mathematics, the Kepler conjecture is a conjecture about sphere packing in three dimensional Euclidean space. It says that no arrangement of equally sized spheres filling space has a greater average density than that of the cubic close packing …   Wikipedia

• Nearest-neighbor chain algorithm — In the theory of cluster analysis, the nearest neighbor chain algorithm is a method that can be used to perform several types of agglomerative hierarchical clustering, using an amount of memory that is linear in the number of points to be… …   Wikipedia

• Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… …   Wikipedia

• chronology — /kreuh nol euh jee/, n., pl. chronologies. 1. the sequential order in which past events occur. 2. a statement of this order. 3. the science of arranging time in periods and ascertaining the dates and historical order of past events. 4. a… …   Universalium

• computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… …   Universalium

• Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… …   Wikipedia

• Hindu chronology — The subject of Hindu chronology divides naturally into three parts: the calendar, the eras, and other reckonings. The Calendar The Hindus have had, from very ancient times, the system of lunisolar cycles, made by the combination of solar years,… …   Wikipedia

• Milky Way Galaxy — Large spiral galaxy (roughly 150,000 light years in diameter) that contains Earth s solar system. It includes the multitude of stars whose light is seen as the Milky Way, the irregular luminous band that encircles the sky defining the plane of… …   Universalium

• physical science, principles of — Introduction       the procedures and concepts employed by those who study the inorganic world.        physical science, like all the natural sciences, is concerned with describing and relating to one another those experiences of the surrounding… …   Universalium